Nuprl Lemma : b2i_wf 13,42

b:. b2i(b  
latex


Upbool 1, bool 1
Definitionsb2i(b), t  T, x:AB(x)
Lemmasbool wf, ifthenelse wf

origin